English translation for "axiome d'anti-fondation"

aczel's anti-foundation axiom

Example Sentences:

	1.	Although Mirimanoff also introduced a notion of isomorphism between possibly non-well-founded sets, he considered neither an axiom of foundation nor of anti-foundation. Alors que Mirimanoff a introduit une notion d'isomorphisme entre ensembles potentiellement non bien fondés, il ne considère ni un axiome de fondation, ni un axiome d'anti-fondation.
	2.	Four mutually independent anti-foundation axioms are well-known, sometimes abbreviated by the first letter in the following list: AFA ("Anti-Foundation Axiom") – due to M. Forti and F. Honsell (this is also known as Aczel's anti-foundation axiom); SAFA ("Scott’s AFA") – due to Dana Scott, FAFA ("Finsler’s AFA") – due to Paul Finsler, BAFA ("Boffa’s AFA") – due to Maurice Boffa. AFA (‘Anti-Foundation Axiom’) – dû à M. Forti et F. Honsell (appelé aussi axiome d'anti-fondation d'Aczel), SAFA (‘Scott’s AFA’) – dû à Dana Scott, FAFA (‘Finsler’s AFA’) – dû à Paul Finsler, BAFA (‘Boffa’s AFA’) – dû à Maurice Boffa.

Similar Words：

"axioma ethica odini" English translation, "axiomatique" English translation, "axiomatique (recueil)" English translation, "axiomatisation" English translation, "axiome" English translation, "axiome d'extensionnalité" English translation, "axiome de beevor" English translation, "axiome de constructibilité" English translation, "axiome de détermination" English translation